Integer Programming with 2-Variable Equations and 1-Variable Inequalities
نویسندگان
چکیده
We present an efficient algorithm to find an optimal integer solution of a given system of 2-variable equalities and 1-variable inequalities with respect to a given linear objective function. Our algorithm has worst-case running time in O(N) where N is the number of bits in the input.
منابع مشابه
On the knapsack closure of 0-1 Integer Linear Programs
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constraints at an optimal LP vertex are relaxed. Computational results show that the corner relaxation gives a good approximation of the integer hull for problems with general-integer variables, but the approximation is less s...
متن کاملSolving Mixed Integer Bilinear Problems Using MILP Formulations
In this paper, we examine a mixed integer linear programming (MILP) reformulation for mixed integer bilinear problems where each bilinear term involves the product of a nonnegative integer variable and a nonnegative continuous variable. This reformulation is obtained by first replacing a general integer variable with its binary expansion and then using McCormick envelopes to linearize the resul...
متن کاملMinkowski's Convex Body Theorem and Integer Programming
Supported by NSF grant ECS-8418392 I n t r o d u c t i o n The Integer Programming (feasibility) Problem is the problem of determining whether there is a vector of integers satisfying a given system of linear inequalities. In settling an important open problem, H.W.Lenstra (1981,1983) showed in an elegant way that when n the number of variables is fixed, there is a polynomial t ime algorithm to...
متن کاملMingling: mixed-integer rounding with bounds
Mixed-integer rounding (MIR) is a simple, yet powerful procedure for generating valid inequalities for mixed-integer programs. When used as cutting planes, MIR inequalities are very effective for mixed-integer programming problems with unbounded integer variables. For problems with bounded integer variables, however, cutting planes based on lifting techniques appear to be more effective. This i...
متن کاملModeling and scheduling no-idle hybrid flow shop problems
Although several papers have studied no-idle scheduling problems, they all focus on flow shops, assuming one processor at each working stage. But, companies commonly extend to hybrid flow shops by duplicating machines in parallel in stages. This paper considers the problem of scheduling no-idle hybrid flow shops. A mixed integer linear programming model is first developed to mathematically form...
متن کامل